New Tableau Characterizations for Non-clausal MaxSAT Problem