OK, this is the blind leading the blind, but here goes.
๐You'll be fine with that. We just dry camped for a week with one group 27 battery. When fully charged, it shows 12.7 to 12.8v. That's hard to measure because of the surface charge after charging, which raises the reading. But overall, with good batteries, my RVs have shown more like 12.7-12.8v fully 100% charged. However, once you start charging at your camp, you'll probably only be getting them up to 12.6.
I don't think you used 25% of your juice, though. You can repeatedly run down to 12.0-12.1. You only dropped 0.1v, so you used about 15-20% of your juice by running the fan all night.
For our single battery, I found that I could get a 90% charge in about an hour with a similar smart charger to yours. That seemed hard to believe, but we went for a week with the same process. From reading here, I learned that when the battery bank is accepting about 5 amps per battery or per 100 amps capacity, it is about 90% charged. 17 amps = 80% charged, and 10 amps = 86%. I was getting down to about 6-7 amps after an hour, and called it good. After dissipating the surface charge, I'd measure about 12.6v to begin the next 24 hour cycle. By the end of the week, that number was sometimes in the 12.5's.
We didn't run the fan all that much. We ran LED lights as needed but usually only a couple of bulbs going at night, water pump as needed, TV with antenna booster for an hour or so, fridge controls and other overhead, and sometimes a few minutes of the furnace in the morning. This routine would put us consistently at 12.1v at 10 AM, when the generator hours began. So we were using about half a volt per daily cycle. Based on all that, assuming you have LED lights, I think you'll be in good shape.
Currently RV-less but not done yet.