Model completeness for the differential field of transseries with exponentiation

We show that the expansion of the valued differential field of logarithmic-exponential transseries by its natural exponential function is model complete. We give an axiomatization of the theory of this expansion that is effective relative to the theory of the real exponential field, and show that any maximal Hardy field satisfies the same axioms. We use this to prove a transfer theorem between Hardy fields and transseries.