That terrarium is more than large enough for any of the species listed. However, if you are getting a nymph, I recommend raising it in a deli cup until the mantis reaches sub-adult instars (has visible wingbuds). Having nymphs in too large of enclosures makes it harder for them to hunt. I use these for my nymphs, with either paper towel as substrate or coconut fiber bedding and burlap or cabinet mesh under the lid ( https://www.amazon.com/Ziploc-Twist-Medium-Round-Containers/dp/B007J46WRU ). One stipulation on Exo Terras is that you should put something under the metal mesh for grip, as metal mesh tends to cut up their feet. I recommend cabinet mesh. I get it from the dollar store. For all species, you MUST have a Hygrometer to monitor humidity. I get thermometer/hygrometer combos from PetSmart. Use dechlorinated water. I use a mister with 2 drops of Reptisafe per refill. Mist at most once a day.
As for heat, all of the species listed have relatively lax heat requirements. Use whatever you have to do to make sure the enclosure is at around 75-85 degrees. With an Exo Terra, I recommend just getting one of those hermit crab heat pads or VERY low power heat lamp. I use the ZooMed heat pads they sell at Petco and PetSmart.
As for whether to make it bio-active, just note that real plants can propagate mold. If you are dead set on it, use Springtails or Isopods (rolly pollies) to keep the mold under control. You can get Springtails (along with any fly feeder you could ask for) from here https://www.mantisplace.com/feeder-insects. Springtails and Isopods can survive in coconut fiber bedding or real dirt, just as long as you maintain humidity and add some crushed up bits of leaves, mulch, or even small pieces of fruit or veggies. They also eat the mantis' waste, so cleaning would be far less frequent, if at all. Personally, I still prefer to use fake flowers but you do you.
For feeders, local pet stores can be good for finding Drosophila fruit flies for younger nymphs (Melanogaster are the smallest, Hydei are the larger ones), but ordering from Josh's Frogs is cheaper and generally better. If you get an older nymph/subadult (L4-L6), use stableflies (smaller) or houseflies. Mantisplace is the best for ordering those. Once it reaches adulthood, I recommend blue bottle flies (again, Mantisplace is the best for ordering those) and maybe mealworms (mealworms are very fatty, so it's best to make sure they aren't ONLY eating those). Feed small nymphs a few Drosophilas every other day, larger nymphs stable/houseflies every other day, and adults a blue bottle every other day or a small mealworm once every 3-4 days.
And finally for species. Between the 3, the Asian Flower is by far the hardest. Ghosts and Spinys are about equal in terms of care. All 3 like medium humidity (50-60%). Ghost are less picky eaters and a bit sweeter, but Spinys are just gorgeous and insanely chill. Both species are easy to handle. If you can, ask for a female because adult male flower mantids do not live very long. My male Spiny Marky Mark lived 3 months as an adult and I've been told that made him a geezer. If you get a female, they will lay infertile eggs (oothecae) from time to time. Let them harden a few days then remove them. To sex your mantis, count the number of abdominal segments from the underside. If there's more than 6, male. If not, female. I personally prefer Spinys, but Ghosts are probably the favorite of the hobby as a whole. My Spiny did get constipated once, but that was easily fixed by gently wiping his rear with a wet Q-tip every day for a few days.
Feel free to PM me any other questions.
P.S. Thanks for the link because holy cow that's an awesome deal, bought 2.