More on Maximal Consistent Sets
Classical propositional tableaus
Propositional Intuitionistic Tableaus
Homework: