Yes. Their marriage is shown in "The Wedding of River Song" and they are referred to as being married on several occasions thereafter. It should be noted that River is only one known wife of the Doctor, as there have been several. And she should not be confused with the TARDIS (a.k.a. "Sexy") who is the titular character of the episode "The Doctor's Wife".