Definition:Propositional Tableau/Construction

