Tableaux for the Logic of Strategically Knowing How