Technically and historically, “formal” means black tie. Semi-formal means a suit. Black-tie optional is in-between those two.
But these days so many people have their own interpretations that it would be best to check with the couple.
http://emilypost.com/advice/attire-guide-dress-codes-from-casual-to-white-tie/