Abstract: Tableau is an automated reasoning method approaching logic system. Tableau method has become one of the widespread automated reasoning due to its universal and audio-visual properties and easy to implement. In recent years many research results have been

Key words: Tableau method, Technology, Theory, Method