Fixed critical flaw in semantic_tableaux