One-pass and tree-shaped tableau systems for TPTL and TPTLb+past