Title: Tableau Methods for Propositional Logic and Term Logic