Tableaux for BCTL* and related logics