Review o Tableau proof o Complete systematic tableauxReview Tableau Proof Complete Systematic Tableaux Yi Li (Fudan University) Discrete Mathematics June 4, 2013 2 / 17