Tableau calculi for the logics of finite k-ary trees