Tableau formula correctness