Characterization of Market Models in the Presence of Traded Vanilla and Barrier Options