completeness theorems for adaptively secure broadcast