We study endogenous leverage in a general equilibrium model with incomplete markets. We prove that in any binary tree leverage emerges in equilibrium at the maximum level such that VaR=0, so there is no default in equilibrium, provided that agents get no utility from holding the collateral. When...