Our paper provides a complete characterization of leverage and default in binomial economies with financial assets serving as collateral. First, our Binomial No-Default Theorem states that any equilibrium is equivalent (in real allocations and prices) to another equilibrium in which there is no...