Definition:Proof System of Propositional Tableaus