Definition:Tableau Proof/Natural Deduction