Title: Tableaukalkül und entscheidbare Formelklassen