Definition:Tableau Proof (Natural Deduction)