Semantic Tableau Method Review and Validation Protocol | Semantic Tableau Method | Logic | NEROS