A description of the Tableau Method using Abstract State Machines