Tableau-based decision procedures for logics of strategic ability in multi-agent systems