Is there any additional documentation needed to obtain a marriage license if one of the participants is not a US citizen?

No additional documentation is needed. A valid government-issued I.D. such as a passport is acceptable.