The name seems a little ambiguous. Looking at this name, a user may be tempted to think this returns a Tree structure. How about naming this 'check_semantic_tableau' or something on those lines?