We propose an argument-based foundation for dialogue games capable of modelling protocols for exchange of arguments in dialogues to prove or disprove propositions. We introduce structure into dialogue states by modelling them as dialogue trees coupled with appropriate annotation mechanisms. We model dialogue locutions as transformations between dialogue states. Viewing dialogues as proofs, we study conditions for them to be sound under the grounded semantics and the credulous semantics in argumentation. Thank to annotation mechanisms, we could handle backtracking of proponent in dialogue games.