Free-Variable Tableaux for Constant-Domain Quantified Modal Logics with Rigid and