Colon between "that is" and formal definition
With regard to punctuating that is, we follow Jane Straus's Blue Book of Grammar and Punctuation. It is preferable to use a semicolon before that is and a comma after is.
XXX; that is, XXX.
With regard to the best way to define something formally, that is not in the scope of this site.